Zermelo set theory

Results: 108



#Item
81Sheaf theory / Sheaf / Functor / Topos / Grothendieck topology / Presheaf / Initial and terminal objects / Adjoint functors / Zermelo–Fraenkel set theory / Category theory / Mathematics / Abstract algebra

PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO

Add to Reading List

Source URL: www.math.unipa.it

Language: English - Date: 2009-02-01 11:27:30
82Z notation / Mereology / Predicate logic / Constructible universe / Zermelo–Fraenkel set theory / S / Grammar / Semantics / Mereotopology / Mathematical logic / Logic / Mathematics

Logic and Logical Philosophy Volume[removed]), 105–122

Add to Reading List

Source URL: www.logika.umk.pl

Language: English - Date: 2005-12-07 17:32:55
83Recreation / Ernst Zermelo / Determinacy / Threefold repetition / Chess / Combinatorial game theory / Computer chess / Outline of chess / Set theory / Games / Chess rules / Gaming

Games and Economic Behavior 34, 123–[removed]doi:[removed]game[removed], available online at http://www.idealibrary.com on

Add to Reading List

Source URL: www.econ.canterbury.ac.nz

Language: English - Date: 2003-04-11 03:42:39
84Z notation / Constructive set theory / Intuitionism / Zermelo–Fraenkel set theory / Set theory / Axiom of choice / Axioms of set theory / Constructible universe / Ordinal analysis / Mathematical logic / Logic / Mathematical constructivism

Constructive set theory – an overview Benno van den Berg Utrecht University

Add to Reading List

Source URL: www.illc.uva.nl

Language: English - Date: 2012-09-10 05:26:08
85Large cardinals / Category theory / Grothendieck universe / Universe / Category of sets / Inaccessible cardinal / Constructible universe / FO / Zermelo–Fraenkel set theory / Mathematical logic / Mathematics / Set theory

C OMPOSITIO M ATHEMATICA A. H. K RUSE

Add to Reading List

Source URL: archive.numdam.org

Language: English - Date: 2006-05-29 07:47:56
86Axiom of determinacy / Borel determinacy theorem / Axiom of choice / Axiom of projective determinacy / Zermelo–Fraenkel set theory / L / Descriptive set theory / Forcing / Continuum hypothesis / Mathematical logic / Set theory / Determinacy

Believing the Axioms. II Penelope Maddy The Journal of Symbolic Logic, Vol. 53, No. 3. (Sep., 1988), pp[removed].

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2007-11-05 14:40:27
87Axioms of set theory / Z notation / Urelements / Cardinal numbers / Infinity / Zermelo set theory / Zermelo–Fraenkel set theory / S / Axiom of choice / Mathematical logic / Set theory / Mathematics

Believing the Axioms. I Penelope Maddy The Journal of Symbolic Logic, Vol. 53, No. 2. (Jun., 1988), pp[removed].

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2007-11-05 14:40:52
88Forcing / Richard Laver / Suslin tree / Axiom of choice / Mikhail Yakovlevich Suslin / Saharon Shelah / Robert M. Solovay / Aronszajn tree / Zermelo–Fraenkel set theory / Mathematical logic / Mathematics / Set theory

PDF Document

Add to Reading List

Source URL: math.bu.edu

Language: English - Date: 2010-09-08 11:35:17
89Z notation / Model theory / Set theory / Zermelo–Fraenkel set theory / Axioms of set theory / Axiom of choice / Constructible universe / S / Compactness theorem / Mathematical logic / Mathematics / Logic

PDF Document

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2013-09-14 07:41:54
90Mathematics / Game theory / Abstract strategy games / Determinacy / Ernst Zermelo / Threefold repetition / Combinatorial game theory / Set theory / Chess / Games / Chess rules / Gaming

PDF Document

Add to Reading List

Source URL: www.math.harvard.edu

Language: English - Date: 2004-04-20 14:19:05
UPDATE